A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Defeasible argumentation has been applied successfully in several real-world domains in which it is necessary to handle incomplete and contradictory information. In recent years, there have been interesting attempts to carry out argumentation processes supported by massive repositories developing argumentative reasoning applications. One of such efforts builds arguments by retrieving information from relational databases using the DBI-DeLP framework; this article presents eDBI-DeLP, which extends the original DBI-DeLP framework by providing two novel aspects which refine the interaction between DeLP programs and (...) relational databases. First, we expand the expressiveness of dbi-delp programs by providing ways of controlling how the information in databases is recovered; this is done by introducing filters that enable an improved fine-grained control on the argumentation processes which become useful in applications, providing the semantics and the implementation of such filters. Second, we introduce an argument comparison criterion which can be adjusted at the level of literals to model particular features such as credibility and topic expertise, among others. These new tools can be particularly useful in environments such as medical diagnosis expert systems, decision support systems, or recommender systems based on argumentation, where datasets are often provided in the form of relational databases. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

In the last few decades, the literature on moral responsibility has been increasingly populated by scientific studies. Studies in neuroscience and psychology, in particular, have been claimed to be relevant for discussions about moral responsibility in a number of ways. And at the same time, there is not yet a systematic understanding of the sort of questions a science of moral responsibility is supposed to answer. This paper is an attempt to move toward such an understanding. I discuss three models (...) for framing scientific questions relevant to an investigation of moral responsibility. The favored model—the Enhancement model—proposes that a science of moral responsibility has two descriptive tasks. First, science can describe the causes and effects of the many sorts of responses that constitute the human practices of moral responsibility, such as praise, blame, and punishment. And, second, science can describe how modifications aiming at the improvement of such practices can be achieved. Relatively to the other models to be considered, the Enhancement model is broader in scope and less tied to the traditional philosophical agenda on moral responsibility. (shrink)

From Gadamer's Habilitation thesis, “Plato’s dialectical ethics. Phenomenological Interpretations Relating to the Philebus” (1928), this article seeks to highlight the fundamental lines of Plato’s image, outlined in that author’s first philosophical publication (1931). The confrontation with the themes of ethics and dialectic, in the current state of Platonic studies, indicates that in Plato’s image drawn in the early confrontation with the Philebus, clearly influenced by the phenomenological notion of Dasein, one already finds the fundamental features of what will become Gadamer's (...) philosophical hermeneutics, fully emancipated from Heideggerian tutelage. (shrink)

People have disagreed on the significance of Libet-style experiments for discussions about free will. In what specifically concerns free will in a libertarian sense, some argue that Libet-style experiments pose a threat to its existence by providing support to the claim that decisions are determined by unconscious brain events. Others disagree by claiming that determinism, in a sense that conflicts with libertarian free will, cannot be established by sciences other than fundamental physics. This paper rejects both positions. First, it is (...) argued that neuroscience and psychology could in principle provide support for milder deterministic claims that would also conflict with libertarian free will. Second, it is argued that Libet-style experiments—due to some of their peculiar features, ones that need not be shared by neuroscience as a whole—currently do not support such less demanding deterministic claims. The general result is that neuroscience and psychology could in principle... (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

In a previous paper, I argued that neuroscience and psychology could in principle undermine libertarian free will by providing support for a subset of what I called “statements of local determination.” I also argued that Libet-style experiments have not so far supported statements of that sort. In a commentary to the paper, Adina Roskies and Eddy Nahmias accept the claim about Libet-style experiments, but reject the claim about the possibilities of neuroscience. Here, I explain why I still disagree with their (...) conclusion, despite being sympathetic to a lot of what they say in support of it. (shrink)

Diante dos embates e dilemas que vive o Brasil após o ano de 2016, fundamentalmente no que diz respeito a educação pública brasileira, o presente trabalho procurou se debruçar, refletir e verificar a posição e situação do educando brasileiro no cenário social nacional, e sobretudo escolar. Levamos em conta como base de configuração do indivíduo-sujeito e estudante sua identidade enquanto ser biopsicossocial, isso na perspectiva Aristotélica e Marxista de homem, tanto como ser dotado de razão, emoção, vontade, social, político, teleológico (...) (Aristóteles) e essencialmente ser de trabalho e histórico (Marx). (shrink)

Sendo a fenomenologia um modo não-especulativo de pensar, o artigo põe a questão sobre a possibilidade de descrever a metafísica em regime de redução fenomenológica, ou seja, a partir de uma atitude que não pretende discursar sobre o ser enquanto ser, mas sim a partir dos diferentes “modos de aparecer” dos principais “objetos” da metafísica: alma, mundo e Deus. Neste caso, que sentido deverá possuir, para o modo fenomenológico de pensar, o metá, presente na palavra metafísica?

Resumo: Em décadas recentes, a investigação filosófica sobre a responsabilidade moral e o livre-arbítrio, que por muito tempo foi vista como um empreendimento principalmente teórico, passou a também incluir preocupações de tipo mais prático. Essa mudança é bem ilustrada pela proposta cética desenvolvida por autores como Derk Pereboom e Gregg Caruso. Seus trabalhos não apenas negam que sejamos agentes livres e moralmente responsáveis (em um sentido específico dos termos em questão), mas também defendem reformas na maneira como a responsabilização é (...) efetivada em nossas relações interpessoais e, especialmente, no sistema penal. Este artigo examina as implicações práticas do ceticismo de Pereboom e Caruso, principalmente no que diz respeito à sua implementabilidade. Argumento que o núcleo propriamente cético da proposta é inviável para seres humanos com a psicologia moral que temos, mas que, apesar disso, alguns elementos da proposta são compatíveis com uma proposta não-cética focada no aperfeiçoamento das práticas punitivas. Abstract: In recent decades, the philosophical investigation of moral responsibility and free will, which for a long time was seen as a mostly theoretical enterprise, became also the place of more practically oriented concerns. The skeptical view developed by Derk Pereboom and Gregg Caruso is a good illustration of the change. In their work, they not just deny that we are free and morally responsible agents (in a specific sense of the relevant terms) but also propose the reform of responsibility practices as they figure in our interpersonal relations and, especially, in the criminal justice system. This paper examines the practical implications of Pereboom and Caruso’s skepticism, particularly in what concerns its likelihood of being implemented. I argue that the strictly skeptical core of their proposal is not viable for human beings with a moral psychology like ours, but that some elements are nonetheless consistent with a non-skeptical view focused on the improvement of punitive practices. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

(Título: Por outras Historiografias, Filosofias, Sociologias, Antropologias, Teorias da História e Filosofias da História |||\\\ -/- Subtítulo: Três Ensaios sobre a ‘Antiguidade, a era Medieval, a Modernidade e a Pós-modernidade: Transições, Rupturas, Continuidades, Ligações e Interconexões) |||\\\ -/- (Title: For other Historiographies, Philosophies, Sociologies, Anthropologies, Theories of History and Philosophies of History |||\\\ -/- Subtitle: Three Essays on 'Antiquity, the Medieval Era, Modernity and Postmodernity: Transitions, Ruptures, Continuities, Links and Interconnections) |||\\\ -/- (Título: Para otras Historiografías, Filosofías, Sociologías, Antropologías, Teorías (...) de la Historia y Filosofías de la Historia |||\\\ -/- Subtítulo: Tres ensayos sobre 'La antigüedad, la época medieval, la modernidad y la posmodernidad: transiciones, rupturas, continuidades, vínculos e interconexiones') |||\\\ -/- (1. Tema: ‘O declínio e a queda do império romano,’ um equívoco interpretativo, linguístico, conceitual ou metodológico? Ou uma fluidez das percepções, narrativas e concepções estéticas do ‘Antigo frente ao Novo?’ |||\\\ -/- 'The decline and fall of the Roman Empire,' an interpretative, linguistic, conceptual or methodological misunderstanding? Or a fluidity of perceptions, narratives and aesthetic conceptions of the 'Old in the face of the New? |||\\\ -/- «Decadencia y caída del Imperio Romano», ¿un malentendido interpretativo, lingüístico, conceptual o metodológico? ¿O una fluidez de percepciones, narrativas y concepciones estéticas de lo «Antiguo frente a lo Nuevo»?) |||\\\ -/- (2. Tema: O Antigo e Atual ritual de sacrifícios humanos aos Deuses e ou Divindades: Ritos que se repetem em novas roupagens, fórmulas e modus operandi. |||\\\ -/- The Ancient and Current Ritual of Human Sacrifice to the Gods and/or Divinities: Rites that are repeated in new guises, formulas and modus operandi. |||\\\ -/- El Ritual Antiguo y Actual del Sacrificio Humano a los Dioses y/o Divinidades: Ritos que se repiten con nuevos disfraces, fórmulas y modus operandi.) |||\\\ -/- (3. Tema: ‘Feudalismo erudito,’ ‘feudalismo rústico’ e ‘feudalismo pós moderno:’ termos com sutis interconexões e em práticas também sutis na atualidade capitalista |||\\\ -/- Erudite feudalism,' 'rustic feudalism' and 'pos-tmodern feudalism:' terms with subtle interconnections and in equally subtle practices in today's capitalist world. |||\\\ -/- 'Feudalismo erudito', 'feudalismo rústico' y 'feudalismo posmoderno': términos con sutiles interconexiones y en prácticas igualmente sutiles en el mundo capitalista actual.).|||\\\ -/- Apresentação sobre e dos três Ensaios - ||| - \\\ - ||| -/- Durante certos períodos de estudos, sempre ouvi falar sobre a ascensão, declínio e queda do império romano, o período romano monárquico, republicano e imperial. E atrelado a esses assuntos, outros não menos importantes, tais como a era ou período medieval, sistema feudal, feudalismos, capitalismo, era ou período moderno ou da modernidade e a pós-modernidade. Talvez esta última seja a nossa contemporaneidade. Geralmente há alguns consensos e também certas dissenções ou polêmicas sobre tais temas, assuntos, seus conteúdos e demarcações históricas. Até então estamos falando apenas da historiografia e de suas produções. Entretanto, é notório que é difícil falar de historiografia sem recorrer a arqueologia, sociologia, filosofia, filologia, antropologia, epigrafia, linguística, geografia, biologia, artes e dentre outras. Isso porque a historiografia necessita do auxílio e apoio dessas como de tantas outras áreas de estudos para investigar seus objetos e fontes, e assim extrair seus conteúdos, interpretações e compor os dados e achados durante os procedimentos e processos de estudos e análises das fontes e de seus dados. Portanto, é bastante difícil falar em historiografia sem reconhecer a necessidade de suporte de outras inúmeras áreas e campos de estudos e de produção de conhecimentos. Ou seja, há intercâmbios diretos e indiretamente tanto para e em modos de olhares investigativos, conceituais, métodos e outros instrumentos quanto de ferramentas para e de análises de dados e fontes. Enfim, há certa composição multidisciplinar para a prática da historiografia quanto para a formação de seus ‘produtos.’ Sendo assim, realizar um ensaio sobre a ascensão, declínio e queda do império romano, o período romano monárquico, republicano e imperial. E atrelado a esses assuntos, outros não menos importantes, tais como a era ou período medieval, sistema feudal, feudalismos, capitalismo, era ou período moderno ou da modernidade e a pós-modernidade, não é uma tarefa fácil. Ainda mais investigar questões, assuntos e conteúdos que dizem respeito as práticas de magias, de rituais e de sacrifícios ao longo da história, bem como novos olhares sobre o sistema feudal e relacionar todos estes fatos com a contemporaneidade. Até porque de alguma forma, todos esses fatos, acontecimentos e processos do passado ou mundo antigo, tem influências e relações com muitas práticas e modos de ser, pensar e agir na atualidade. E por isso também eles são importantes de serem reanalisados, estudados continuamente e revistos através e por meio das novas tecnologias e os novos olhares que elas podem nos proporcionar. Porém, sem incorrermos em anacronismos. Com isso, é de suma importância abrirmos novos olhares, horizontes, possibilidades e perspectivas para reinvestigar tais assuntos e eventos históricos mencionados, seus conteúdos, fontes e produtos. E assim, quem sabe talvez possamos extrair novas informações, conteúdos e saberes que possam cooperar com nossas sociedades na e da contemporaneidade. É importante dizer que, quando incluímos em tais temas, assuntos e seus conteúdos, áreas, disciplinas ou campos de estudos como a filosofia, a sociologia, a antropologia, a geografia, a filologia, a arqueologia, a biologia, a epigrafia, as artes e dentre outras, a discussão se torna ainda maior, mais complexa e gerando também maiores problemáticas. Entretanto, isso não inviabiliza tal abordagem e ação, muito pelo contrário, é justamente melhor que isso ocorra sobre tais assuntos, temas e seus conteúdos a serem estudados, pois os tornam mais ricos, amplos e abertos, e não fechados e isolados em si mesmos. Logo, é de suma relevância e importância, bem como de grande urgência se evocar, invocar e complementar tais investigações auxiliadas pelas vias da interdisciplinaridade, multidisciplinaridade e da transdisciplinaridade, isso para não se correr riscos de se cair em dogmatismos, apologias ou doutrinas dentro dos grupos ou guetos de tais áreas ou campos de saber. Já que é um fato e realidade a existência de correntes e ‘vertentes’ historiográficas, históricas, sociológicas, filosóficas, antropológicas e assim por diante. Ou seja, como dentre outras, bem como também em outras áreas de estudo ou campos do saber. E por isso a importância da interdisciplinaridade, multidisciplinaridade e da transdisciplinaridade, pois se dificultam os processos e formações de dogmatismos, apologias, doutrinas, paradigmas engessados, diretrizes ultra ou extremamente conservadoras de certos status quo e de cânones postos em certos pedestais. Desse modo, há certas correntes com suas convenções, consensos, seus paradigmas e diretrizes, no qual as seguem, e assim elas criam quase que amarras ou emolduram alguns assuntos, temas e seus conteúdos históricos. No qual as discussões ficam por décadas como as mesmas, com raros casos em que alguns daqueles temas, assuntos ou conteúdos recebem algum novo tratamento e talvez novas considerações, ou às vezes nenhum ou nenhuma. Permanecendo quase que os mesmos ou intactos como uma moldura a ser preservada, até que surja alguém que ouse remexê-los, trazer alguma novidade e inovações. Se algo não for feito, tudo fica do mesmo modo por décadas. Tais fatos ocorrem com e em muitas outras áreas e campos do saber, ou seja, não é apenas um fato na historiografia, sociologia, filosofia, antropologia e outras. É justamente por tudo isso que ousamos escrever um ensaio, no caso aqui três, envolvendo questões, assuntos, temas, conteúdos, novas reflexões e produções que giram em torno da antiguidade até a contemporaneidade, e sobretudo novas abordagens e produções sobre a era do império romano desde a monarquia aos tempos do império; sobre a era feudal do ou com o seu ‘início no séc. V d.C. até o séc. XV d.C., bem como sobre práticas e manifestações místicas, mágicas, ritualísticas e sacrificiais contemplando a antiguidade até a contemporaneidade. No qual lançamos mais luz em pequenos detalhes que talvez tenham passado desapercebidos em alguns escritos ou produções historiográficas, onde o fizemos com auxílio da interdisciplinaridade, multidisciplinaridade e da transdisciplinaridade, onde denominamos de ‘Por outras Historiografias, Filosofias, Sociologias, Antropologias, Teorias da História e Filosofias da História.’ Nossa ação, movimento e intervenção se dá justamente pelos fatos aqui apontados e criticados, que ocorrem devido aos seus consensos, convenções e porque não dizer: dogmas, apologias ou doutrinas. Uma vez que, como já mencionado, muitas das produções sejam da historiografia, sociologia, antropologia e até mesmo da filosofia, infelizmente, estão repletas de dogmas, doutrinas, apologias de teorias, teóricos e de certos cânones que são idolatrados mais do que o fazer científico e a produção de novos conhecimentos. Nosso trabalho talvez não possua um caráter acadêmico ou científico, já que é um ensaio talvez hipotético, de novas observações, visões, possibilidades e perspectivas. Mas que não renunciou ao rigor em e nos estudos, investigações e coletas de dados para a produção de um construto que comungue e dialogue com as produções de caráter científicas e acadêmicas. Infelizmente nós brasileiros ainda possuímos muitos novos horizontes quase pouco ou nunca explorados, isso por e em muitas de nossas áreas e produções de conhecimentos e científicas, onde quase não há grandes e efetivos incentivos, e muito menos para se ousar fazer e produzir tais conhecimentos. Às vezes com pequenas exceções e para alguns grupos e guetos seletos, geralmente já beneficiados com vastos recursos. Vale ainda dizer que mesmo assim e com tudo isso, boa parte do saber e da produção de conhecimentos e científicos do país, infelizmente foi, se tornou e ainda é bastante dependente e submisso das produções, arcabouços e cânones euramericanos. E isso dificulta ainda mais as produções, incentivos e inovações da produção de conhecimentos e científicos do e no Brasil. Já que o que é produzido aqui, geralmente em boa medida é uma reprodução dos produtos daqueles quanto a ânsia da chancela, legitimação, autorização e aprovação daqueles sobre as produções dos daqui do país. Ou seja, o Brasil parece que fica a certa mercê ou a espera de aprovações, legitimações e chancelas das ‘autoridades cientificas e dos saberes euramericanos.’ E assim, infelizmente em muitos casos nos tornamos mais reprodutores de ideias, teorias, conteúdos, métodos, paradigmas e diretrizes, bem como sintetizadores e resumidores das ideias deles, talvez até mesmo nos posicionemos como meros copistas das produções euramericanas. Foi através e por meio de tais observações, percepções, inquietações e críticas que passei a ler, reler e examinar certos cânones teóricos e bibliográficos com mais atenção e pelo crivo da criticidade. Isso sob olhares não etnocêntricos, e nem tão pouco eurocêntricos e ou ocidentais. Onde com o auxílio da interdisciplinaridade, multidisciplinaridade e da transdisciplinaridade, bem como e inclusive também da e entre as várias correntes das áreas de estudos da historiografia, sociologia, filosofia e antropologia, passei a reanalisar certos eventos históricos e da historiografia, me apoiando em várias áreas ou campos do saber e ou do conhecimento, tal como a biologia, geografia, política, análises do discurso, teologia, ciência da religião, linguística e dentre outras. E com isso, os objetos observados e analisados foram nos mostrando novos conteúdos, novos fenômenos, novos movimentos e nos proporcionando também novos olhares sobre tais objetos e seus dados a serem observados, estudados e analisados. Sendo assim, surgiu os três ensaios aqui em tela e em discussão. No qual colocamos sobre a crítica se realmente o império romano do ocidente declinou e caiu, bem como o que seria esse declinar e cair. Se realmente podemos marcar e demarcar as datas convencionais e consensuais ou podemos especular em hipóteses outras novas. Inclusive se podemos talvez estender tal declínio, se é que houve, bem como a sua queda, para datas mais adiantes do suposto ocorrido. Estas hipóteses, especulações e possibilidades geraram o ensaio de título ou tema: ‘O declínio e a queda do império romano,’ um equívoco interpretativo, linguístico, conceitual ou metodológico? Ou uma fluidez das percepções, narrativas e concepções estéticas do ‘Antigo frente ao Novo?’ A segunda reflexão crítica sobre acontecimentos, períodos, fenômenos, fatos, movimentos, eventos e narrativas historiográficas e sociológicas foram sobre manifestações, processos e práticas místicas, mágicas e ritualísticas ao longo da história, da antiguidade até a contemporaneidade, no qual surgiu o ensaio com o título ou tema: O Antigo e Atual ritual de sacrifícios humanos aos Deuses e ou Divindades: Ritos que se repetem em novas roupagens, fórmulas e modus operandi. E o último ensaio faz reflexões críticas sobre o período medieval com seu suposto feudalismo e ou sistema feudal. Onde trazemos novas reflexões sobre a prática feudal ou de feudos, demonstrando que tais práticas eram além de mais antiga do que pensamos, elas eram comuns, normal e naturais em vários sentidos, âmbitos e aspectos, e isso ocorrendo em muitas sociedades, culturas e civilizações desde a era romana monárquica, republicana e imperial e que se tornou em um sistema, o feudal, dentro da era tida como medieval (que possuo certas críticas a ambos os conceitos e seus pejorativismos). Através disso desenvolvemos três novas categorias de feudos ou de práticas feudais: o feudo erudito, o feudo rústico e os elementos feudais na contemporaneidade. Ora, o sistema feudal ou feudalismo não era ou foi apenas uma nomenclatura com certo ar pejorativo, mas sim um sistema econômico e ‘financeiro (até mesmo comercial)’ baseado e fundamentado na produção rural e ou do campo, seus insumos, matérias primas, mão de obra barata e escrava, no poderio militar ou de milicias, bem como e sobretudo posse e poderio da terra e de quem as obtém em grandes quantidades e extensões, em certa política descentralizada, na organização de uma sociedade estamental e sua divisão social em determinados grupos, os sem terras e os donos de muitas terras. E esse sistema econômico não surgiu do nada e nem do acaso, mas teve suas origens nas práticas feudais eruditas e rústicas, dando origem a um sistema, o feudal. E que ainda hoje podemos ver elementos de suas práticas, no qual resistiram a era capitalista, a modernidade e onde certos elementos feudais foram incorporados e reelaborados desde o surgimento do sistema capitalista até a contemporaneidade, e assim tais elementos avançaram com e em novas formas, roupagens e fórmulas pelo capitalismo. No qual ainda é um fato a relação de donos de grandes extensões de terras com poder, política, riquezas, conflitos, milicias e guerras. Se tais fatos dos resquícios ou elementos feudais não fossem reais, países da Europa em pleno século XXI não teriam ou manteriam ainda sua dominação sob colônias na África, Ásia e até mesmo nas Américas, bem como tentando as recolonizar ou neocolonizar, inclusive em outras regiões do globo, como assim ‘bem’ o faz os EUA desde o fim do século XIX, início do XX até a atualidade. Colonização e expansão de domínio e poder, bem como exploração e expropriação de mãos de obra, terras, matérias primas etc. Fundamentalmente a dominação de terras nacionais e sobretudo alheias, bem como a exploração das mesmas e de seus povos presos nas mesmas, digo ao sistema de seus países. Ou seja, o sistema capitalista também utiliza elementos das práticas feudais. Entretanto, de modos reformulados, personalizados e atualizados conforme seus interesses, do capitalismo e das classes ou grupos dominantes, e das necessidades contextuais para cumprir as metas de tal sistema, o capitalista e seus ditames. A estas reflexões críticas surgiu o ensaio: ‘Feudalismo erudito,’ ‘feudalismo rústico’ e ‘feudalismo pós-moderno:’ termos com sutis interconexões e em práticas também sutis na atualidade capitalista. Para que os leitores já pudessem adentrar nos temas, assuntos, conteúdos, fatos e discussões, isso em certa cronologia, foi colocado de antemão os resumos de cada ensaio e seus respectivos temas. Com isso, o leitor poderá observar certas conexões ou interligações entre tais acontecimentos, processos, fatos e fenômenos sócio-históricos, políticos, econômicos, culturais etc. E não apenas entre ou na transição da antiguidade para a era medieval e moderna, mas também daquelas com seus resquícios na e para a contemporaneidade. Entretanto, há um grande problema que precisaremos superar continuamente, é que ao longo da história, muitas das narrativas e produções históricas e historiográficas são e ou estão repletas de eufemismos, de jogos de linguagens e inundados neles, nos referidos. E isso consegue mascarar ideologias dominantes, hegemônicas, colonialistas, antagonismos, alienações, contradições e até mesmo certos paradoxos (como observaremos nos textos dos ensaios). Sendo assim, tais eufemismos conseguem como que ‘em passes de mágicas,’ criarem muitas ilusões e confusões nos prováveis e possíveis entendimentos, percepções, compreensões, concepções e ideias entre os fatos e as realidades, e tudo isso feito intencionalmente. Portanto, essas produções fantasiadas com os eufemismos e seus jogos de linguagens criam certas ‘ilusões de ‘óticas’ e em suas mágicas,’ no qual confundem vários leitores e estudiosos descuidados com esses instrumentos e ferramentadas metodológicas logocêntricas, grafocentricas e verborrágicas. Logo, tais fatos geram inúmeras confusões e conflitos intelectivos, de reflexões lógicas e de fatos que verdadeiramente correspondam com as realidades sociais e históricas. O trabalho em tela fará justamente o esforço de superar tais embaraços e armadilhas, filtrando e sintetizando as reflexões e interpretações extraídas das bibliografias e as relacionando com outras áreas, campos e saberes, e os submetendo ao crivo da lógica e da crítica. (shrink)

Much forensic inference based upon DNA evidence is made assuming Hardy-Weinberg Equilibrium (HWE) for the genetic loci being used. Several statistical tests to detect and measure deviation from HWE have been devised, and their limitations become more obvious when testing for deviation within multiallelic DNA loci. The most popular methods-Chi-square and Likelihood-ratio tests-are based on asymptotic results and cannot guarantee a good performance in the presence of low frequency genotypes. Since the parameter space dimension increases at a quadratic rate on (...) the number of alleles, some authors suggest applying sequential methods, where the multiallelic case is reformulated as a sequence of “biallelic” tests. However, in this approach it is not obvious how to assess the general evidence of the original hypothesis; nor is it clear how to establish the significance level for its acceptance/rejection. In this work, we introduce a straightforward method for the multiallelic HWE test, which overcomes the aforementioned issues of sequential methods. The core theory for the proposed method is given by the Full Bayesian Significance Test (FBST), an intuitive Bayesian approach which does not assign positive probabilities to zero measure sets when testing sharp hypotheses. We compare FBST performance to Chi-square, Likelihood-ratio and Markov chain tests, in three numerical experiments. The results suggest that FBST is a robust and high performance method for the HWE test, even in the presence of several alleles and small sample sizes. (shrink)

A história humana possui seus processos e especificidades no e do tempo e espaço, com certas rupturas e continuidades de certos processos e elementos. Podemos citar como exemplo: Os tipos e modos de desigualdades, sistemas escravistas e sistemas coloniais etc. Mas, não sendo igual ou da mesma forma. Há especificidades e características ligadas ao tempo e ao espaço contextual. Porém, sem dúvidas, há acontecimentos e fatos históricos que ocorrem com certas semelhanças e características entre passado e presente, ainda que dentro (...) dos seus respectivos contextos. Logo, a cada época e contexto social, político, econômico, cultural, religioso e histórico, podemos observar certas semelhanças, entre ‘o ontem e o hoje. ’ A exemplo, o Sistema Feudal que ocorreu em muitos continentes e países, e em tempos específicos e com suas especificidades contextuais. Desse modo, como já mencionado, parecem que certos elementos ou resquícios de fatos históricos anteriores ou passados se evidenciam em outras épocas e contextos. Não que sejam os mesmos sistemas, nem tampouco a continuidade deles, mas apenas semelhanças e características que parecem ‘ir e vir. ’ Diante de tais fatos, seus problemas e consequências; debruçamo-nos em fontes sobre o Sistema Feudal Europeu dos séc. X ao XIV d. C. para compreendermos elementos, eventos e episódios que vêm ocorrendo na contemporaneidade brasileira, com algumas semelhanças com o Sistema Feudal. Fundamentalmente, no que diz respeito às terras, grandes latifundiários, religião, política, economia e rituais. Assim, identificamos que: a) Religião, Política e ‘poder’, tanto no feudalismo quanto nas relações políticas atuais no Brasil, continuam na perspectiva de defender a propriedade privada de grandes extensões de terras nas mãos de poucos; b) manter e reproduzir as ideias conservadoras e ‘moralistas’ dos grupos que detém o ‘poder político e econômico’; e c) naturalizar a pobreza e a miséria da população como destino ou normal-natural, bem como atribuir às conquistas econômicas e materiais dos grandes latifundiários a algo divino ou determinado. (shrink)

Although the controversy between Malthus and Ricardo has long been considered to be an important source for the history of economic thought, it has hardly been the object of a careful study qua controversy, i.e. as a polemical dialogical exchange. We have undertaken to fill this gap, within the framework of a more ambitious project that places controversies at the center of an account of the history of ideas, in science and elsewhere. It is our contention that the dialogical co-text (...) is essential for reconstructing the meaning and the evolution of science. In the present paper we try to substantiate this contention by means of a pragma-rhetorical study of this particular controversy. First, we reconstruct, through an analysis of a chunk of the correspondence, a micro-level of specific moves and countermoves which constitute a sequential structure within which also meta-scientific and meta-controversial considerations play a role. We then move to a macro-level of analysis, looking for recurrent patterns of argumentation. Finally, we draw epistemological conclusions on the nature of rationality and progress as manifested in actual scientific controversies. (shrink)

Judging a person as morally responsible involves believing that certain responses (such as punishment, reward, or expressions of blame or praise) can be justifiably directed at the person. This paper develops an account of the evolution of moral responsibility judgment that adopts Michael Tomasello’s two-step theory of the evolution of morality and borrows also from Christopher Boehm’s work. The main hypothesis defended is that moral responsibility judgment originally evolved as an adaptation that enabled groups of cooperative individuals to hold free (...) riders responsible more safely by acting in a coordinated way. (shrink)

Diana Pérez criticizes Davidson’s argument for the thesis that there is no thought without language, and offers an alternative defense of that thesis on the basis of empirical studies on developmental psychology. In this comment I argue that more recent studies do not seem to affect Davidson’s argument in the way Pérez suggests, and that her alternative defense of the thesis that there is no thought without language is insufficient. At the end, I offer a sketch of how a weaker (...) and more tenable version of the argument could be articulated. (shrink)

Free will skepticism is the view that people never truly deserve to be praised, blamed, or punished for what they do. One challenge free will skeptics face is to explain how criminality could be dealt with given their skepticism. This paper critically examines the prospects of implementing legal changes concerning crime and punishment derived from the free will skeptical views developed by Derk Pereboom and Gregg Caruso. One central aspect of the changes their views require is a concern for reducing (...) the severity of current forms of punishment. The paper considers two strategies for pursuing such a reduction. By taking into account evidence from the psychology of belief in free will and desire to punish, it is argued that a strategy aiming at a reduction of people’s natural desire to punish criminals can be successful if capable of providing alternatives to current forms of punishment satisfying three properties: they must be less harmful than current forms of punishment, more effective in preventing crime, and incompatible with current forms of punishment. (shrink)

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of formal (...) consistency. (shrink)

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...) Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

O artigo em tela tem como objetivo refletir sobre as contradições, antagonismos e problemáticas que envolvem a educação, seus modos e processos; bem como a escola, a pedagogia, o Estado e o sistema capitalista. Para tanto, começamos ressaltando ainda a infeliz ineficiência da função e papel que a estrutura educacional e escolar desempenha. Ineficiência objetiva e controlada por um empresariado e políticos brasileiros que se colocam a disposição de em primeiro lugar defender os interesses do capital internacional, do capital nacional (...) e em segundo os deles próprios. Que na verdade é o primeiro! Com isso, partindo de tais reflexões, aos modos que a pedagogia, a educação e a filosofia foram tratadas ao longo do tempo e da história, aos modos e formas que a educação e a escola se comportam no atual Brasil, encerramos com importantes reflexões. (shrink)

Resumo: Um dos grandes problemas das ciências em geral, é a constante busca por universalizações, generalizações e sistematizações dos seus objetos, dados, conteúdos e resultados. Talvez sejam ainda vestígios ou resquícios do positivismo ou a identificação com um possível cientificismo. Porém, ao se fazer isso, nega-se o próprio caráter, o papel, o sentido e a função da ciência, que é ser provisória, e não permanente ou eterna. Mesmo havendo em certos casos, a possibilidade de universalizações, generalizações e sistematizações, no qual (...) também ainda permanecerão abertas e não fechadas em si. Logo, neste trabalho se procura debruçar e refletir sobre o que é história, o sentido da história e a historiografia por abordagens, aspectos e instrumentos da filosofia, da sociologia, da antropologia, da filosofia da história, da historiografia, da teoria da história, da escrita da história e dentre outros. Isso para que deste modo talvez possamos nos desvencilhar de certos mitos, conteúdos e produções de certa história e historiografia universalista. Uma vez que, em tal narrativa e escrita da história, produziram-se muitas interpretações equivocadas, míticas e generalizantes da história do mundo e dos povos em geral, onde, de modo arbitrário, o eurocentrismo, o europeísmo e o ocidentalismo assumiram a apresentação e representação da produção histórica e cultural do mundo, quase uma aculturação e homogeneização dos povos, culturas e etnias, descaracterizando-os nas suas próprias narrativas e processos históricos, isso dentro de um “pacote e produto histórico ocidental”. No qual a história foi colocada e reduzida a determinismos de diversos tipos e modos. Logo, um dos objetivos cruciais aqui, é justamente desconstruir tais narrativas, percepções e procedimentos de sorrateira aculturação e etnocentrismo da história mundial. Portanto, é necessário superar toda e qualquer narrativa, escrita e produção histórica que coloca grupos, etnias e culturas entre superiores e inferiores na produção histórica e na história, no qual os grupos superiores fazem a história e são os protagonistas dela, enquanto os grupos inferiores são os meros coadjuvantes no mundo, bem como na produção histórica. Isso ocorre porque a história e a produção da mesma são campos de disputas, conflitos e embates de ideais, mesmo pela produção científica. (shrink)

Tradução de correspondências trocadas entre Descartes e Elisabeth no ano de 1643, nas quais discutem a tese cartesiana da alma como imaterial e inextensa.

O presente trabalho1se dá diante da conjuntura política, econômica e social no Brasil, envolvendo a pandemia do COVID-19; além do aumento do sucateamento e precarização da estrutura e sistema educacional público. Para tanto, realizamos um processo de pesquisa empírico-qualitativa do cotidiano de uma equipe escolar e da comunidade que a cerca. Isto no que diz respeito ao enfrentamento dos obstáculos postos à educação pública, à pandemia, às reduções e cortes orçamentários da educação, além da própria desestruturação -em vários âmbitos e (...) aspectos -dos profissionais da educação. Inclusive, observamos e constatamos que esta equipe de profissionais estava sujeita a inúmeros riscos, solitária, quase invisível, resistindo e lutando por sonhos com uma comunidade. Isso de um fazer professoral, pedagógico e social que se encontravam esses profissionais, alguns adoecidos e em batalha para cumprir o exercício de sua profissão. Mesmo lhes custando a saúde e a vida, estes pareciam optar mais pela vida e pelos sonhos de uma comunidade melhor do que os deles. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

Este artigo reconstrói os argumentos de Donald Davidson (1970) em favor de sua teoria do monismo anômalo e revisa as principais críticas que recebeu. Essa teoria é amplamente rejeitada atualmente e, dadas as inúmeras críticas recebidas, é razoável concluir que qualquer tentativa de reabilitação tem um longo caminho pela frente. A diversidade dessas críticas sugere que não há consenso sobre por que exatamente o monismo anômalo fracassa, embora as dificuldades pareçam convergir sobre a justificação e possibilidade da tese monista, e (...) não sobre a anomalia do mental. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

This paper focuses on Gilberto Gomes’ work on free will. In a series of contributions that have had a significant impact on the respective literature, Gomes developed a conception about free will and argued that its existence is consistent with recent scientific findings, specially in neuroscience. In this paper, I object to a claim of Gomes about his conception of free will, namely the claim that it is a compatibilist conception. I seek to show that Gomes does not use the (...) term ‘compatibilism’ as it is usual in the contemporary literature on free will, i.e., as the thesis that free will can exist even if determinism is true. Moreover, the conception of free will Gomes proposes actually has an incompatibilist commitment. I argue that, more than a mere terminological point, acknowledging the incompatibilist aspect of Gomes’ view motivates important questions about the details of the view and helps to reveal a limitation of his defense of the existence of free will. [Este artigo tem como tema o trabalho de Gilberto Gomes sobre o livre-arbítrio. Em uma série de contribuições que tiveram um impacto significativo na respectiva literatura, Gomes elaborou uma concepção sobre o livre-arbítrio e argumentou que sua existência é consistente com descobertas científicas recentes, especialmente na neurociência. Neste artigo, questiono uma afirmação de Gomes sobre sua concepção sobre o livre-arbítrio, a saber, que se trata de uma concepção compatibilista. Busco mostrar que Gomes não usa o termo ‘compatibilismo’ como é habitual na literatura contemporânea sobre o livre-arbítrio, isto é, como a tese segundo a qual o livre-arbítrio pode existir ainda que o determinismo seja verdadeiro. Ademais, a concepção sobre o livre-arbítrio desenvolvida por Gomes tem, efetivamente, um compromisso incompatibilista. Argumento que, mais do que uma mera elucidação terminológica, reconhecer o elemento incompatibilista presente na proposta de Gomes suscita questões importantes sobre os detalhes da proposta e também ajuda a reconhecer uma limitação de sua defesa da existência do livre-arbítrio.]. (shrink)

Título: Como os deuses chegaram até nós: por outras historiografias, sociologias, filosofias e antropologias Tema: Magia, Rituais, Mitos, Religião e Capitalismo: consonâncias, dissonâncias e relações com a Morte, um Ensaio. \ . \ -/- Protágoras de Abdera, nos diz que: “O homem é a medida de todas as coisas, das coisas que são, enquanto são, das coisas que não são, enquanto não são.” A isso Protágoras se referia sobre o homem como centro das coisas que vê, sente, percebe, reflete e (...) produz. Além de conter o relativismo, também contém o antropocentrismo. Ou seja, podemos dizer que o fogo queima, isso não é relativo, assim como a água molha e sacia a sede, bem como se não nos alimentarmos morreremos. Tais fatos não são relativos. Mas quando dizemos sobre sensações místicas, mágicas, percepções, noções e concepções ‘espirituais,’ ‘religiosas’ e com ‘deuses ou divindades,’ elas não são fatos absolutos em si, mas evidências relativas, pois cada pessoa vê, sente, percebe e reproduz sensações místicas de forma bem particular, pessoal e específica. Isso também em relação as manifestações religiosas e seus deuses. Já que são produtos culturais, sociais e de subjetividades. \ . -/- O trabalho em tela é um esforço de expor e contextualizar, as possíveis expressões das primeiras formas, modos e tipos de manifestações místicas, ritualísticas, mágicas, sacrificiais, de crenças e míticas nos processos sociais, culturais, econômicos, políticos e históricos das sociedades. Verificando assim, os primeiros fundamentos, processos e construções biopsicossociais, bem como suas produções e reproduções místicas e de crenças. Isso sendo verificado através e por meio dos povos considerados primitivos, antigos e arcaicos. Dessa forma, iremos realizar uma tentativa de reconstrução cronológica da formação e manifestação das primeiras práticas místicas, mágicas, ritualísticas e sacrificiais ao longo da história, e que vão culminar na formação das ‘religiões.’ Uma vez que, é justamente através e por meio das relações entre os povos, sociedades, culturas, civilizações e seus antropofagismos culturais, místicos, míticos, ritualísticos e de crenças, que se produzem outras manifestações e possíveis ‘religiões.’ Com isso, são nas relações e interações sociais entre as mesmas, integrando certos elementos, conteúdos, crenças etc., umas das outras, que as manifestações tidas como religiosas foram surgindo e se disseminando por inúmeros lugares. Logo, tais processos e manifestações não permaneceram estáticos, mas foram mudando e se transformando ao longo da história até a atualidade. E assim, a Magia, os Rituais, Mitos, sacrifícios e relações com a morte também foram se transformando e sendo ressignificados. Produzindo nos processos, diferenciações e transformações, certas dissonâncias, mas também mantendo certas consonâncias ou semelhanças. Entretanto, após a criação das religiões e suas relações com o Estado, sobretudo com o sistema capitalista, tais dissonâncias são bem mais evidentes. Também podemos dizer que o trabalho em tela, talvez seja uma exposição sumária dos desdobramentos dos processos ‘evolutivos,’ de desenvolvimentos, progressos e multiprodutos das inúmeras manifestações místicas, religiosas, culturais e de seus ‘deuses.’ ‘Evolutivos, progressos e desenvolvimentos aqui, diz apenas nos sentidos e aspectos das criações, produções, reelaborações e organizações criativas dos povos, sociedades e ou civilizações, suas culturas, misticismos e crenças. Sobretudo de suas divindades, magias, rituais e deuses. Porém, não havendo superiores ou inferiores entre nenhuma. Esta produção está sob óticas, análises e reflexões das áreas, campos e disciplinas da filosofia da história, filosofia das religiões, sociologia, psicologia e história das religiões, da antropologia cultural social e das religiões, da ciência das religiões, literatura e dentre outras. -/- . (shrink)

Abstract: The Pull Bayesian Significance Test (FBST) for precise hy- potheses is applied to a Multivariate Normal Structure (MNS) model. In the FBST we compute the evidence against the precise hypothesis. This evi- dence is the probability of the Highest Relative Surprise Set (HRSS) tangent to the sub-manifold (of the parameter space) that defines the null hypothesis. The MNS model we present appears when testing equivalence conditions for genetic expression measurements, using micro-array technology.

O presente trabalho procura se debruçar sobre a dimensão ontológica do homem animal-político-social em Aristóteles. Logo, desde já nos cabe ressaltar que a verificação do homem enquanto animal político-social abarcará um caráter metafísico para a efetivação no e do físico-material-natural, ou seja, o ser biopsicossocial. Refletindo, construindo e interligando o ser físico e “espiritual”. Portanto, o objeto principal será o que diz respeito ao homem como um animal político-social, no sentido ontológico do ser sensível em Aristóteles. Para tanto, a proposta (...) abarcará a Teoria das Quatro Causas de Aristóteles. Isso para demonstrar certa ontologia de uma suposta essência da ou na substancia no e do ser humano. Ou seja, quem é o “homem-ser-ente” coberto por sua estrutura física e sensível no sentido ontológico no corporal? São os seres humanos animais essencialmente políticos? E se forem são seres políticos do e ou no “espiritual”, “almático” e metafísico ou no físico-corporal? (shrink)

Muito se ouve falar em cidadão, ser cidadão, direitos e deveres do cidadão, bem como atuar ativamente enquanto cidadão. Porém, inúmeras pessoas ignoram esse tão complexo, profundo e importante termo. Saber sua origem, etimologia, sentido e significados são de suma importância para os sujeitos que fazem parte de uma estrutura, sistema e conjuntura social que abarca os indivíduos como seus cidadãos. Desse modo, o presente trabalho busca uma compreensão mais aprofundada do que é cidadão, ser cidadão, sua origem, ativação e (...) a efetividade prática de tal conceito na realidade social, política, econômica e histórica, uma vez que, o conceito ou termo deriva de origens longínquas e como construto e produção humana no social, não veio do acaso, mas através e por meio da racionalidade, experiências, processos, vivencias e percepções diante das relações sociais, políticas, econômicas e históricas. Logo, nos foi necessário realizar procedimentos e movimentos historiográficos e de filosofia da linguagem, indo a Grécia e Roma Antigas, no qual foram configurando o termo em suas origens e legando para as posteridades, inclusive para nós brasileiros. Sendo assim, fizemos o esforço de buscar as origens do termo, conceito e aplicabilidade no social partindo brevemente da Grécia e Roma Antiga, e relacionando-o com a realidade e aspectos da linguagem, inclusive sua relação com o processo contemporâneo, no qual nos movem a indagar quais problemas envolvem o termo, prática, direitos do cidadão e ou ser cidadão, onde surgem questões também como se há algum problema de semântica, de conceito, falta de entendimento do termo ou uma economia da concretude e aplicabilidade. Bem como, se há cidadãos de primeira, segunda e terceira categoria. Anacronismos ou resgates dos significados e sentidos? E o que dizer da exclusão das mulheres, negros, indígenas, crianças e outros da investidura como cidadãos? Logo, o trabalho em tela é de ordem Bibliográfica, de Revisão da Literatura e abarcando áreas, elementos, instrumentos e aspectos da historiografia, filosofia da linguagem, análises do discurso, sociologia e da antropologia social e cultural. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...) exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)

[Note: articles 1-5 are in English; Intro, Discussion, and Conclusion are in Portuguese.] Responsibility practices that are part of our daily lives involve, among other things, standards about how one should praise, blame, or punish people for their actions, as well as particular acts that follow those standards to a greater or lesser extent. A classical question in philosophy asks whether human beings can actually be morally responsible for what they do. This dissertation argues that addressing this classical question is (...) insufficient if one wants the investigation of moral responsibility to serve the goal of improving ordinary responsibility practices. As an alternative, I offer directions for an interdisciplinary investigation that I take to be in a better position to promote that goal. My argument is developed in five articles and a discussion section. The first four articles describe limitations of skeptical views, which deny the existence of moral responsibility. The first article assesses a skeptical argument based on results from neuroscience that intends to show that there is no free will. I argue that a premise in the argument—which says that choices are determined by events in the brain—is not supported by the available results. The second article argues that, despite the fact that existent results do not show that choices are determined by brain events, further studies in neuroscience could in principle do that. The third article begins the discussion of limitations that concern the implementability of some of the changes in responsibility practices recommended in skeptical approaches. Specifically, I describe challenges that attempts to reduce the severity of legal punishment are likely to face due to psychological facts about belief in free will and desire to punish. The forth article presents results from an original experiment that sought to test a hypothesis about the workings of belief in free will and the desire to punish, namely the hypothesis that the desire to punish causally affects beliefs about free will. Results failed to support the hypothesis. Finally, the fifth article presents what I call the enhancement model, i.e., a proposal about how to structure an interdisciplinary investigation that can promote the enhancement of ordinary responsibility practices. The final discussion section shows how the enhancement model overcomes some of the limitations of recent discussions about the existence of moral responsibility, which includes not just the skeptical views considered in earlier articles, but also views that affirm the existence of moral responsibility and free will. The central claim of this dissertation, therefore, is that the investigation of moral responsibility can be rearranged so as to further the goal of improving ordinary responsibility practices. (shrink)

In this paper the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N (for negation) and O (for the consistency connective) satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in order to (...) analyze the class of mbC-structures. Thus, substructures, union of chains, direct products, direct limits, congruences and quotient structures can be analyzed under this perspective. In particular, a Birkhoff-like representation theorem for mbC-structures as subdirect poducts in terms of subdirectly irreducible mbC-structures is obtained by adapting a general result for first-order structures due to Caicedo. Moreover, a characterization of all the subdirectly irreducible mbC-structures is also given. An alternative decomposition theorem is obtained by using the notions of weak substructure and weak isomorphism considered by Fidel for Cn-structures. (shrink)

O presente trabalho em tela busca se debruçar nas relações e interconexões entre etnocentrismo, xenofobia e medo. Entretanto, o medo é medo de alguma coisa ou de alguém. Talvez do nada. Porém, quando nos deparamos com o medo, pensamentos e práticas etnocêntricas e xenofóbicas, a literatura demonstra que há processos ligados a mecanismos de pulsão, repressão e recalque, pois o medo está como pano de fundo, causando um desencadeamento de emoções e sentimentos de um sujeito frente ao outro. Então, quando (...) dois indivíduos se encontram, há um conflito interno por questões culturais e de objetificação entre ambos. Desse modo, o conflito não é apenas pessoal ou individual, mas fundado em estruturas e formação cultural. Portanto, quando dois indivíduos distintos se encontram, também são duas culturas se defrontando. Com isso, podem ocorrer pensamentos e práticas etnocêntricas e xenofóbicas oriundas do medo, de se estar diante do outro, do diferente, do desconhecido e que não sou eu. Assim, com o medo colocado, aparece o conflito, a angústia, o repúdio e a negação do outro. E daí já se evidencia o etnocentrismo e a xenofobia. Porém, o impulso é o recalque que se reprime por medo do outro, do diferente e do desconhecido. Logo, Etnocentrismo, Xenofobia e Medo: Pulsão, Repressão e Recalque como Medo oculto do outro, do desconhecido, do diferente e do diverso, talvez tal fato só apaziguemos com um olhar com análises relativizadoras, tanto das culturas como dos outros, pois talvez assim se possa encontrar a saída de tais neuroses. A pesquisa adentra pelas teorias da Antropologia e com suportes de campos da Psicologia, História, Psicanálises e Sociologia. Desse modo, a pesquisa não abarca apenas o caráter bibliográfico e de revisão da literatura, mas também adentra sutilmente pelos caminhos da “observação e descrição” do fato e fenômeno histórico-social, fazendo assim certo esforço de “explorá-lo e explicá-lo” pelas teorias de base, que suportam o construto. (shrink)

In 2016, Béziau introduces a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is genuine paraconsistent if it rejects the laws $\varphi,\neg \varphi \vdash \psi$ and $\vdash \neg (\varphi \wedge \neg \varphi)$. In that paper, the author analyzes, among the three-valued logics, which of them satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above-mentioned are $\vdash \varphi, \neg \varphi$ and $\neg (\varphi \vee \neg \varphi) \vdash$. We call genuine paracomplete logics those rejecting (...) the mentioned properties. We present here an analysis of the three-valued genuine paracomplete logics. A very natural twist structures semantics for these logics is also found in a systematic way. This semantics produces automatically a simple and elegant Hilbert-style characterization for all these logics. Finally, we introduce the logic LGP which is genuine paracomplete is not genuine paraconsistent, not even paraconsistent and cannot be characterized by a single finite logical matrix. (shrink)

Este trabalho tem como objetivo verificar como educandos da Rede Pública de ensino do Município de Niterói/RJ percebem o fenômeno da violência nas suas comunidades e como esta percepção se evidencia em seus discursos. Para isso foi aplicado um questionário semiestruturado com questões objetivas e uma discursiva, no qual foi respondido por 120 estudantes com idades entre 13 e 17 anos da Rede Estadual de Ensino de escolas da Zona Norte de Niterói, estado do Rio de Janeiro. As respostas às (...) questões objetivas foram analisadas quantitativamente e à questão discursiva por meio de técnica categorial, onde as categorias eram os itens escolhidos nas respostas dos estudantes. As questões discursivas foram analisadas qualitativamente, gerando uma análise quanti-qualitativa. Verificamos também resultados de pesquisas análogas, e a discussão foi construída à luz dos teóricos Albert Bandura, Michel Foucault e Lev Vygotsky, no qual se mostrou que nossos dados são suportados pela literatura. (shrink)

In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof of (...) S4 as being "the logic of topological spaces", but now under the perspective of paraconsistency. (shrink)

We examine the most famous controversy between economists as a means of shedding fresh light on the current debate about economic methodology. By focusing on the controversy as the primary unit of analysis, we show how methodological considerations are but one of a whole set of stratagems strategically employed by each opponent. We argue that each opponent's preference for a particular kind of stratagems expresses his own specific scientific style (within the general scientific and cultural style of an age). We (...) also describe a dynamic dimension of the controversy, independent of the participants' intentions. Such a dimension is analysed in a "cycle" of the controversy, which begins with a well-defined issue and expands to additional topics, without reaching a "solution" to the initial issue. The definition and re-definition of the issue(s) at stake and of the difference between both participants is an essential and recurrent feature of such cycles; the conclusion of a cycle does not imply a real "closure" of the controversy, but only that each opponent has reached a satisfying degree of self-clarification. The controversy, thus, does not yield persuasion -- its ostensible aim. Rather, its "benefit" seems to lie in an unintended result -- clarification and deepening of contrasting approaches to the discipline -- due to its peculiar dynamics. In so far as the history of a discipline requires a reconstruction of such contrasts, it is indispensable for it to take into account the controversies where they emerge, and to view both the positive doctrines and the methodological posture of the contenders as parts of a wider framework, that is a scientific style. (shrink)

The Fully Bayesian Significance Test (FBST) is a coherent Bayesian significance test for sharp hypotheses. This paper proposes the FBST as a model selection tool for general mixture models, and compares its performance with Mclust, a model-based clustering software. The FBST robust performance strongly encourages further developments and investigations.

Por outras Historiografias, Filosofias, Sociologias, Antropologias, Teorias da História e Filosofias da História.......... Ensaios sobre ‘Antiguidade:’ Reflexões sobre ‘o declínio e queda de Roma, o que não nos contaram......... O que não nos contaram sobre o declínio e queda do império romano do ocidente no séc. V d.C.?.............. -/- Resumo:......... -/- Infelizmente em certas eras, períodos, contextos e momentos da produção da historiografia, ocorreram e ainda ocorrem vários anacronismos, permeados de romantismos, paixões, dramatizações, apologias a grupos, culturas e povos específicos, (...) bem como certas práticas de preconceitos, etnocentrismos, xenofobias e aculturamento do e para com o outro. Desse modo, muitos conteúdos não apenas anacrônicos, de preconceitos, etnocêntricos e xenófobos foram sendo produzidos e reproduzidos ao longo da história, sobretudo sentimentos e complexos em transferências sobre outros povos e culturas. Como que projeções de um ‘eu’ sobre o outro. Com isso, o trabalho em tela fará o esforço de demonstrar que há muitos equívocos, problemas conceituais, metodológicos, linguísticos e talvez interpretativos quanto ao suposto declínio e queda do império romano do ocidente em 476 d.C. Fatos que talvez possam estar carregados de ideologias, dramatizações, apologias, alienações, distorções, contradições e hipérboles em vários sentidos, âmbitos e aspectos. Para demonstrar tais evidências, faremos um trabalho empenhado na revisão da literatura, com abordagens e auxílio também da análise dos discursos, da sociologia, antropologia, da filosofia da história e da lógica, ambas corroborando com a historiografia, isso para dar conta de trazer luzes e novas informações sobre o declínio e queda do império romano do ocidente no séc. V. d.C....... -/- Palavras-chaves: Império Romano; Queda; Declínio; Bárbaros; Ocidente; Europa; Historiografia; Paradoxos; Hipérboles; Filosofia da História; Modernidade......... -/- Filosofia, sociologia e antropologia da história da Roma antiga, seu declínio e queda, novas abordagens, métodos, reflexões, análises, perspectivas, possibilidades e conteúdos. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)